-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy path5.3.7 Miscellaneous inverse tangent.nb
14936 lines (14579 loc) · 665 KB
/
5.3.7 Miscellaneous inverse tangent.nb
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(* Content-type: application/mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 7.0' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 145, 7]
NotebookDataLength[ 665816, 14927]
NotebookOptionsPosition[ 647763, 14479]
NotebookOutlinePosition[ 649370, 14531]
CellTagsIndexPosition[ 649327, 14528]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[Cell[TextData[StyleBox["Rules for integrands involving inverse \
tangents and cotangents",
FontFamily->"Arial"]], "None"]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.4965234353062396`*^9, {3.5193214825316973`*^9, 3.5193214852617016`*^9}, {
3.523316399894187*^9, 3.5233164032341914`*^9}, {3.523318350558202*^9,
3.5233183516382036`*^9}, {3.536542725780803*^9, 3.536542725780803*^9}, {
3.5367764878952584`*^9, 3.5367764886452594`*^9}, {3.544322815209103*^9,
3.5443228192963104`*^9}, {3.5450662624913826`*^9, 3.545066292141424*^9}, {
3.545066402271579*^9, 3.5450664054415827`*^9}, {3.5450834884295015`*^9,
3.5450834895895033`*^9}, {3.5454961263762493`*^9,
3.5454961321462574`*^9}, {3.5454963863166127`*^9,
3.5454964580867133`*^9}, {3.545497046127537*^9, 3.545497046127537*^9}, {
3.5454971130676303`*^9, 3.545497136257663*^9}, 3.545610399977621*^9, {
3.546040778592962*^9, 3.546040778592962*^9}, {3.5461052065706367`*^9,
3.5461052249474688`*^9}, {3.546191339879622*^9, 3.5461913430596266`*^9}, {
3.5462141824067917`*^9, 3.5462142145768366`*^9}, {3.5462145455473003`*^9,
3.5462145601073203`*^9}, {3.5463149785974817`*^9,
3.5463149794195285`*^9}, {3.5488738437683954`*^9,
3.5488738699084315`*^9}, {3.5488890647645535`*^9, 3.548889080804576*^9}, {
3.5505951583099127`*^9, 3.5505951620351257`*^9}, {3.5758457803910656`*^9,
3.5758457938510847`*^9}, {3.5758458780912023`*^9,
3.5758458797312045`*^9}, {3.5758460250714083`*^9, 3.575846028691413*^9}, {
3.5758463436418543`*^9, 3.5758463469618587`*^9}},
TextAlignment->Center,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{Cell[TextData[StyleBox["1.",
FontFamily->"Arial"]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u", " ",
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], "]"}],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193415004828687`*^9, 3.5193415113404875`*^9}, {
3.5193513965602303`*^9, 3.519351397420232*^9}, {3.5194037839416766`*^9,
3.5194037847117205`*^9}, 3.52105258275843*^9, 3.5210531741726685`*^9, {
3.521057461672199*^9, 3.5210574760242243`*^9}, {3.521059881564049*^9,
3.521059886088057*^9}, {3.5213902158895197`*^9, 3.521390217543123*^9}, {
3.521390827878595*^9, 3.521390829376197*^9}, {3.5214688792561245`*^9,
3.521468879443325*^9}, {3.523320201951167*^9, 3.523320202247567*^9}, {
3.5288596764894824`*^9, 3.5288596768094826`*^9}, {3.529196266260353*^9,
3.5291962665099535`*^9}, {3.5291997050223927`*^9,
3.5291997052563934`*^9}, {3.529201346457276*^9, 3.529201347252877*^9}, {
3.529285041073242*^9, 3.5292850412632427`*^9}, {3.529285215443486*^9,
3.529285215443486*^9}, {3.5295115356999426`*^9, 3.5295115433443794`*^9}, {
3.529521412127842*^9, 3.529521414647986*^9}, {3.529529429975619*^9,
3.529529432955224*^9}, 3.5340074894011116`*^9, 3.5415537711400824`*^9, {
3.5415538454742126`*^9, 3.54155384951462*^9}, {3.5417297197063265`*^9,
3.5417297252443366`*^9}, {3.546297494083555*^9, 3.5462974982435613`*^9}, {
3.5462989134855423`*^9, 3.5462989153655453`*^9}, 3.548544146508506*^9,
3.5488738855784535`*^9, {3.5505953688729563`*^9, 3.5505953726861744`*^9}, {
3.550619508681926*^9, 3.5506195174954305`*^9}, {3.551326301250945*^9,
3.551326301841979*^9}, {3.552150760656293*^9, 3.552150761436294*^9},
3.5521509768882723`*^9, {3.5521510341403728`*^9, 3.5521510486171985`*^9}, {
3.5521511118909097`*^9, 3.5521511159313164`*^9}, 3.55215165895267*^9,
3.552151705315952*^9, 3.553532182175474*^9, {3.553559669357978*^9,
3.553559705888029*^9}, {3.553560225618757*^9, 3.55356022752876*^9}, {
3.5536175751912155`*^9, 3.5536175847212286`*^9}, {3.553627430893401*^9,
3.5536274529734316`*^9}, {3.553628201284479*^9, 3.55362820144448*^9}, {
3.588049926248394*^9, 3.5880499263583937`*^9}, {3.6201581514894953`*^9,
3.6201581516705055`*^9}, {3.7202281996688323`*^9,
3.7202281998798447`*^9}, {3.720382134999488*^9, 3.7203821352415013`*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["1:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], "]"}],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193422443984776`*^9, 3.5193422447260776`*^9},
3.5193424488212357`*^9, {3.5193434708254333`*^9, 3.519343473103037*^9}, {
3.5193435097631016`*^9, 3.51934353169674*^9}, {3.519345739319023*^9,
3.519345739599823*^9}, 3.5193462601259375`*^9, {3.5193475061060295`*^9,
3.5193475233908596`*^9}, {3.519351391880224*^9, 3.5193513931402254`*^9}, {
3.519403773021052*^9, 3.5194037798564425`*^9}, 3.5194106793250647`*^9, {
3.519537578341393*^9, 3.5195375792305946`*^9}, {3.5195376277778797`*^9,
3.51953767927357*^9}, {3.5197586260636144`*^9, 3.5197586260636144`*^9}, {
3.51978053295651*^9, 3.519780542862528*^9}, {3.5197806526087203`*^9,
3.5197806657595434`*^9}, {3.5197807490168896`*^9, 3.5197807642581167`*^9},
3.5197809004619555`*^9, {3.519782653514635*^9, 3.5197826623286505`*^9}, {
3.5200207810164795`*^9, 3.520020785046485*^9}, {3.5213126833374643`*^9,
3.5213126833374643`*^9}, {3.521328235411002*^9, 3.521328235411002*^9}, {
3.523315567893022*^9, 3.523315567893022*^9}, {3.5233157569332867`*^9,
3.5233157613032923`*^9}, {3.5323023198133526`*^9, 3.532302355723403*^9}, {
3.5323026417638035`*^9, 3.5323026417638035`*^9}, {3.5323026980138817`*^9,
3.5323026980138817`*^9}, {3.532636287104328*^9, 3.532636287104328*^9}, {
3.5330803686035347`*^9, 3.533080368863535*^9}, {3.533248909289961*^9,
3.5332489110299635`*^9}, {3.534962469565694*^9, 3.5349624910757236`*^9}, {
3.5349625224057674`*^9, 3.534962522655768*^9}, {3.534965265519608*^9,
3.534965265519608*^9}, {3.5349668288168063`*^9, 3.5349668292668066`*^9}, {
3.5349747358481646`*^9, 3.5349747358481646`*^9}, {3.534975457949176*^9,
3.534975457949176*^9}, {3.5368633963532934`*^9, 3.536863396571694*^9}, {
3.541644322511304*^9, 3.5416443577513533`*^9}, {3.5416458269234104`*^9,
3.541645839633428*^9}, {3.5416460312236967`*^9, 3.541646031483697*^9},
3.541646227783972*^9, {3.541647080335165*^9, 3.5416471077052035`*^9}, {
3.541648997607849*^9, 3.5416489978278494`*^9}, 3.541649088407976*^9, {
3.5417848711596775`*^9, 3.541784902429721*^9}, {3.541786145331461*^9,
3.5417861455914617`*^9}, {3.5417870037166634`*^9, 3.5417870039366636`*^9},
3.5462979620242105`*^9, {3.546298264094633*^9, 3.546298265344635*^9}, {
3.546299000235664*^9, 3.546299001505666*^9}, {3.546315119909564*^9,
3.5463151267659564`*^9}, {3.547227356319705*^9, 3.547227356319705*^9},
3.547918559331044*^9, {3.547918610170952*^9, 3.5479186304411116`*^9},
3.548537755517557*^9, 3.5485441629685287`*^9, 3.5485517520154133`*^9, {
3.5488740727887154`*^9, 3.5488740727887154`*^9}, {3.548874206618903*^9,
3.548874206808903*^9}, 3.548877100795455*^9, 3.550596464087599*^9, {
3.5505965767870445`*^9, 3.5505965767870445`*^9}, 3.5505966202465305`*^9, {
3.5506039138305197`*^9, 3.55060391400453*^9}, {3.5506040039986773`*^9,
3.550604005776779*^9}, {3.5506178888272758`*^9, 3.5506178900273447`*^9}, {
3.550770598144562*^9, 3.550770659629079*^9}, {3.5507707252908344`*^9,
3.5507707474461017`*^9}, 3.5507880023630266`*^9, {3.5508017696214375`*^9,
3.5508017788269644`*^9}, {3.5508018116158395`*^9, 3.5508018116158395`*^9},
3.5508018976437597`*^9, {3.5508021384015307`*^9, 3.550802155115487*^9}, {
3.5508022151019173`*^9, 3.5508022151019173`*^9}, {3.550802487106476*^9,
3.5508025179152374`*^9}, {3.5508029261175857`*^9,
3.5508029342300496`*^9}, {3.5521511708590136`*^9, 3.5521511712334137`*^9},
3.552151666269083*^9, {3.5535324250863676`*^9, 3.553532441643315*^9}, {
3.553532476791325*^9, 3.553532477502366*^9}, {3.5535325810722895`*^9,
3.5535325810722895`*^9}, {3.553534924419321*^9, 3.5535349316017323`*^9}, {
3.5535597570381007`*^9, 3.553559765608113*^9}, {3.553559900728302*^9,
3.55355990606831*^9}, 3.553560247968788*^9, {3.553560284118839*^9,
3.553560284268839*^9}, 3.553617750921461*^9, {3.5536177847415085`*^9,
3.553617790541517*^9}, 3.553618024341844*^9, 3.553627533253544*^9, {
3.5536277299838195`*^9, 3.5536277299838195`*^9}, {3.5536284257647934`*^9,
3.553628427354796*^9}, 3.5568246925785065`*^9},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Integration by parts", "Subsubsection"],
Cell["Rule:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.48070527384861*^9, 3.4941132250237207`*^9, 3.5568247102085314`*^9}],
Cell[BoxData[
RowBox[{
RowBox[{"\[Integral]",
RowBox[{
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], "]"}],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ", "x"}]}], " ",
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], "]"}]}]}], "-",
RowBox[{"b", " ", "n",
RowBox[{"\[Integral]",
RowBox[{
FractionBox[
SuperscriptBox["x", "n"],
RowBox[{"1", "+",
SuperscriptBox["a", "2"], "+",
RowBox[{"2", " ", "a", " ", "b", " ",
SuperscriptBox["x", "n"]}], "+",
RowBox[{
SuperscriptBox["b", "2"], " ",
SuperscriptBox["x",
RowBox[{"2", " ", "n"}]]}]}]],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579729524207`*^9, 3.479658002354699*^9}, {
3.479658032958706*^9, 3.479658033819944*^9}, {3.479658266604672*^9,
3.479658270990979*^9}, 3.4796611918409553`*^9, {3.4796613913478317`*^9,
3.47966140315481*^9}, {3.479661508025606*^9, 3.47966151197128*^9}, {
3.4796618227781982`*^9, 3.4796618235292788`*^9}, 3.479666675846568*^9, {
3.4796867202542863`*^9, 3.479686720274315*^9}, {3.4796868616776433`*^9,
3.479686861938018*^9}, 3.480705278835781*^9, {3.494000873285657*^9,
3.4940008732866573`*^9}, {3.4940020470996175`*^9, 3.4940020476156473`*^9},
3.4941132810902195`*^9},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{"ArcTan", "[",
RowBox[{"a_", "+",
RowBox[{"b_.", "*",
RowBox[{"x_", "^", "n_"}]}]}], "]"}], ",", "x_Symbol"}], "]"}], " ", ":=",
"\n", " ",
RowBox[{
RowBox[{
RowBox[{"x", "*",
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", "*",
RowBox[{"x", "^", "n"}]}]}], "]"}]}], " ", "-", "\n", " ",
RowBox[{"b", "*", "n", "*",
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"x", "^", "n"}], "/",
RowBox[{"(",
RowBox[{"1", "+",
RowBox[{"a", "^", "2"}], "+",
RowBox[{"2", "*", "a", "*", "b", "*",
RowBox[{"x", "^", "n"}]}], "+",
RowBox[{
RowBox[{"b", "^", "2"}], "*",
RowBox[{"x", "^",
RowBox[{"(",
RowBox[{"2", "*", "n"}], ")"}]}]}]}], ")"}]}], ",", "x"}],
"]"}]}]}], " ", "/;", "\n",
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b", ",", "n"}], "}"}], ",", "x"}], "]"}]}]}]], "Code",
CellChangeTimes->{{3.4940008732956576`*^9, 3.4940008732976575`*^9},
3.4940020232142515`*^9, {3.4941132306553307`*^9, 3.49411323588134*^9},
3.548732562039033*^9, 3.5487329218426123`*^9, {3.5568246969985123`*^9,
3.556824703648522*^9}},
Background->GrayLevel[0.85]],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{"ArcCot", "[",
RowBox[{"a_", "+",
RowBox[{"b_.", "*",
RowBox[{"x_", "^", "n_"}]}]}], "]"}], ",", "x_Symbol"}], "]"}], " ", ":=",
"\n", " ",
RowBox[{
RowBox[{
RowBox[{"x", "*",
RowBox[{"ArcCot", "[",
RowBox[{"a", "+",
RowBox[{"b", "*",
RowBox[{"x", "^", "n"}]}]}], "]"}]}], " ", "+", "\n", " ",
RowBox[{"b", "*", "n", "*",
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"x", "^", "n"}], "/",
RowBox[{"(",
RowBox[{"1", "+",
RowBox[{"a", "^", "2"}], "+",
RowBox[{"2", "*", "a", "*", "b", "*",
RowBox[{"x", "^", "n"}]}], "+",
RowBox[{
RowBox[{"b", "^", "2"}], "*",
RowBox[{"x", "^",
RowBox[{"(",
RowBox[{"2", "*", "n"}], ")"}]}]}]}], ")"}]}], ",", "x"}],
"]"}]}]}], " ", "/;", "\n",
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b", ",", "n"}], "}"}], ",", "x"}], "]"}]}]}]], "Code",
CellChangeTimes->{{3.4940008732956576`*^9, 3.4940008732976575`*^9},
3.4940020232142515`*^9, {3.494043967993827*^9, 3.4940439679948273`*^9}, {
3.494044278867608*^9, 3.4940442792266283`*^9}, {3.4941139713602314`*^9,
3.4941139764302406`*^9}, 3.5487317801788063`*^9, 3.548732232548187*^9, {
3.556824700028517*^9, 3.556824706038525*^9}},
Background->GrayLevel[0.85]],
Cell["", "Subsubsection",
CellDingbat->None,
CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["2.",
FontFamily->"Arial"]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox["x", "m"],
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], "]"}],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193415004828687`*^9, 3.5193415113404875`*^9}, {
3.5193513965602303`*^9, 3.519351397420232*^9}, {3.5194037839416766`*^9,
3.5194037847117205`*^9}, 3.52105258275843*^9, 3.5210531741726685`*^9, {
3.521057461672199*^9, 3.5210574760242243`*^9}, {3.521059881564049*^9,
3.521059886088057*^9}, {3.5213902158895197`*^9, 3.521390217543123*^9}, {
3.521390827878595*^9, 3.521390829376197*^9}, {3.5214688792561245`*^9,
3.521468879443325*^9}, {3.523320201951167*^9, 3.523320202247567*^9}, {
3.5288596764894824`*^9, 3.5288596768094826`*^9}, {3.529196266260353*^9,
3.5291962665099535`*^9}, {3.5291997050223927`*^9,
3.5291997052563934`*^9}, {3.529201346457276*^9, 3.529201347252877*^9}, {
3.529285041073242*^9, 3.5292850412632427`*^9}, {3.529285215443486*^9,
3.529285215443486*^9}, {3.5295115356999426`*^9, 3.5295115433443794`*^9}, {
3.529521412127842*^9, 3.529521414647986*^9}, {3.529529429975619*^9,
3.529529432955224*^9}, 3.5340074894011116`*^9, 3.5415537711400824`*^9, {
3.5415538454742126`*^9, 3.54155384951462*^9}, {3.5417297197063265`*^9,
3.5417297252443366`*^9}, {3.546297494083555*^9, 3.5462974982435613`*^9}, {
3.5462989134855423`*^9, 3.5462989153655453`*^9}, 3.548544146508506*^9,
3.5488738855784535`*^9, {3.5505953688729563`*^9, 3.5505953726861744`*^9}, {
3.550619508681926*^9, 3.5506195174954305`*^9}, {3.551326301250945*^9,
3.551326301841979*^9}, {3.552150760656293*^9, 3.552150761436294*^9},
3.5521509768882723`*^9, {3.5521510341403728`*^9, 3.5521510486171985`*^9}, {
3.5521511118909097`*^9, 3.5521511159313164`*^9}, 3.55215165895267*^9,
3.552151705315952*^9, 3.553532182175474*^9, {3.553559669357978*^9,
3.553559705888029*^9}, {3.5535602318087654`*^9, 3.5535602417087793`*^9},
3.553617594461242*^9, 3.553617658031331*^9, 3.553627483953475*^9, {
3.5536276561737165`*^9, 3.5536276590237207`*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t\t",
RowBox[{Cell[TextData[StyleBox["1:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{
FractionBox[
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], "]"}], "x"],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193422443984776`*^9, 3.5193422447260776`*^9},
3.5193424488212357`*^9, {3.5193434708254333`*^9, 3.519343473103037*^9}, {
3.5193435097631016`*^9, 3.51934353169674*^9}, {3.519345739319023*^9,
3.519345739599823*^9}, 3.5193462601259375`*^9, {3.5193475061060295`*^9,
3.5193475233908596`*^9}, {3.519351391880224*^9, 3.5193513931402254`*^9}, {
3.519403773021052*^9, 3.5194037798564425`*^9}, 3.5194106793250647`*^9, {
3.519537578341393*^9, 3.5195375792305946`*^9}, {3.5195376277778797`*^9,
3.51953767927357*^9}, {3.5197586260636144`*^9, 3.5197586260636144`*^9}, {
3.51978053295651*^9, 3.519780542862528*^9}, {3.5197806526087203`*^9,
3.5197806657595434`*^9}, {3.5197807490168896`*^9, 3.5197807642581167`*^9},
3.5197809004619555`*^9, {3.519782653514635*^9, 3.5197826623286505`*^9}, {
3.5200207810164795`*^9, 3.520020785046485*^9}, {3.5213126833374643`*^9,
3.5213126833374643`*^9}, {3.521328235411002*^9, 3.521328235411002*^9}, {
3.523315567893022*^9, 3.523315567893022*^9}, {3.5233157569332867`*^9,
3.5233157613032923`*^9}, {3.5323023198133526`*^9, 3.532302355723403*^9}, {
3.5323026417638035`*^9, 3.5323026417638035`*^9}, {3.5323026980138817`*^9,
3.5323026980138817`*^9}, {3.532636287104328*^9, 3.532636287104328*^9}, {
3.5330803686035347`*^9, 3.533080368863535*^9}, {3.533248909289961*^9,
3.5332489110299635`*^9}, {3.534962469565694*^9, 3.5349624910757236`*^9}, {
3.5349625224057674`*^9, 3.534962522655768*^9}, {3.534965265519608*^9,
3.534965265519608*^9}, {3.5349668288168063`*^9, 3.5349668292668066`*^9}, {
3.5349747358481646`*^9, 3.5349747358481646`*^9}, {3.534975457949176*^9,
3.534975457949176*^9}, {3.5368633963532934`*^9, 3.536863396571694*^9}, {
3.541644322511304*^9, 3.5416443577513533`*^9}, {3.5416458269234104`*^9,
3.541645839633428*^9}, {3.5416460312236967`*^9, 3.541646031483697*^9},
3.541646227783972*^9, {3.541647080335165*^9, 3.5416471077052035`*^9}, {
3.541648997607849*^9, 3.5416489978278494`*^9}, 3.541649088407976*^9, {
3.5417848711596775`*^9, 3.541784902429721*^9}, {3.541786145331461*^9,
3.5417861455914617`*^9}, {3.5417870037166634`*^9, 3.5417870039366636`*^9},
3.5462979620242105`*^9, {3.546298264094633*^9, 3.546298265344635*^9}, {
3.546299000235664*^9, 3.546299001505666*^9}, {3.546315119909564*^9,
3.5463151267659564`*^9}, {3.547227356319705*^9, 3.547227356319705*^9},
3.547918559331044*^9, {3.547918610170952*^9, 3.5479186304411116`*^9},
3.548537755517557*^9, 3.5485441629685287`*^9, 3.5485517520154133`*^9, {
3.5488740727887154`*^9, 3.5488740727887154`*^9}, {3.548874206618903*^9,
3.548874206808903*^9}, 3.548877100795455*^9, 3.550596464087599*^9, {
3.5505965767870445`*^9, 3.5505965767870445`*^9}, 3.5505966202465305`*^9, {
3.5506039138305197`*^9, 3.55060391400453*^9}, {3.5506040039986773`*^9,
3.550604005776779*^9}, {3.5506178888272758`*^9, 3.5506178900273447`*^9}, {
3.550770598144562*^9, 3.550770659629079*^9}, {3.5507707252908344`*^9,
3.5507707474461017`*^9}, 3.5507880023630266`*^9, {3.5508017696214375`*^9,
3.5508017788269644`*^9}, {3.5508018116158395`*^9, 3.5508018116158395`*^9},
3.5508018976437597`*^9, {3.5508021384015307`*^9, 3.550802155115487*^9}, {
3.5508022151019173`*^9, 3.5508022151019173`*^9}, {3.550802487106476*^9,
3.5508025179152374`*^9}, {3.5508029261175857`*^9,
3.5508029342300496`*^9}, {3.5521511708590136`*^9, 3.5521511712334137`*^9},
3.552151666269083*^9, {3.5535324250863676`*^9, 3.553532441643315*^9}, {
3.553532476791325*^9, 3.553532477502366*^9}, {3.5535325810722895`*^9,
3.5535325810722895`*^9}, {3.553534924419321*^9, 3.5535349316017323`*^9}, {
3.5535597570381007`*^9, 3.553559765608113*^9}, {3.5535598797782726`*^9,
3.553559883728278*^9}, 3.553560246298786*^9, 3.553617705411398*^9,
3.5536180228418417`*^9, 3.5536275078835087`*^9, 3.553627705243785*^9},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Algebraic expansion", "Subsubsection"],
Cell[TextData[{
"Basis: ",
Cell[BoxData[
RowBox[{
RowBox[{"ArcTan", "[", "z", "]"}], "\[Equal]",
RowBox[{
RowBox[{
FractionBox["1", "2"], " ", "\[ImaginaryI]", " ",
RowBox[{"Log", "[",
RowBox[{"1", "-",
RowBox[{"\[ImaginaryI]", " ", "z"}]}], "]"}]}], "-",
RowBox[{
FractionBox["1", "2"], " ", "\[ImaginaryI]", " ",
RowBox[{"Log", "[",
RowBox[{"1", "+",
RowBox[{"\[ImaginaryI]", " ", "z"}]}], "]"}]}]}]}]]]
}], "Subsubsection",
CellChangeTimes->{
3.479664431619528*^9, 3.4796644842351856`*^9, {3.4796867203243876`*^9,
3.4796867203243876`*^9}, {3.479686900964134*^9, 3.479686904699506*^9}, {
3.494000873321659*^9, 3.494000873321659*^9}, {3.4940016544041567`*^9,
3.4940016544041567`*^9}, {3.55362385015*^9, 3.55362385015*^9}}],
Cell["Rule:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050798897104`*^9}],
Cell[BoxData[
RowBox[{
RowBox[{"\[Integral]",
RowBox[{
FractionBox[
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], "]"}], "x"],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
FractionBox["\[ImaginaryI]", "2"]}]}],
RowBox[{"\[Integral]",
RowBox[{
FractionBox[
RowBox[{"Log", "[",
RowBox[{"1", "-",
RowBox[{"\[ImaginaryI]", " ", "a"}], "-",
RowBox[{"\[ImaginaryI]", " ", "b", " ",
SuperscriptBox["x", "n"]}]}], "]"}], "x"],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}], "-",
RowBox[{
FractionBox["\[ImaginaryI]", "2"],
RowBox[{"\[Integral]",
RowBox[{
FractionBox[
RowBox[{"Log", "[",
RowBox[{"1", "+",
RowBox[{"\[ImaginaryI]", " ", "a"}], "+",
RowBox[{"\[ImaginaryI]", " ", "b", " ",
SuperscriptBox["x", "n"]}]}], "]"}], "x"],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579730125074`*^9, 3.479658002374728*^9},
3.479658039448037*^9, 3.479661193793763*^9, {3.4796615158368387`*^9,
3.479661531599504*^9}, 3.4796867203243876`*^9, {3.4796869232261457`*^9,
3.4796869451176243`*^9}, 3.49400087334066*^9, {3.494001703554968*^9,
3.4940017521417475`*^9}, {3.5536273852233367`*^9, 3.553627395323351*^9}},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"ArcTan", "[",
RowBox[{"a_.", "+",
RowBox[{"b_.", "*",
RowBox[{"x_", "^", "n_"}]}]}], "]"}], "/", "x_"}], ",", "x_Symbol"}],
"]"}], " ", ":=", "\n", " ",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"I", "/", "2"}], "*",
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"Log", "[",
RowBox[{"1", "-",
RowBox[{"I", "*", "a"}], "-",
RowBox[{"I", "*", "b", "*",
RowBox[{"x", "^", "n"}]}]}], "]"}], "/", "x"}], ",", "x"}],
"]"}]}], " ", "-", "\n", " ",
RowBox[{
RowBox[{"I", "/", "2"}], "*",
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"Log", "[",
RowBox[{"1", "+",
RowBox[{"I", "*", "a"}], "+",
RowBox[{"I", "*", "b", "*",
RowBox[{"x", "^", "n"}]}]}], "]"}], "/", "x"}], ",", "x"}],
"]"}]}]}], " ", "/;", "\n",
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b", ",", "n"}], "}"}], ",", "x"}], "]"}]}]}]], "Code",
CellChangeTimes->{
3.494000873350661*^9, 3.4940016721911745`*^9, {3.5487325654952307`*^9,
3.548732566797305*^9}, {3.548732926805896*^9, 3.548732930704119*^9},
3.5536290796257095`*^9},
Background->GrayLevel[0.85]],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"ArcCot", "[",
RowBox[{"a_.", "+",
RowBox[{"b_.", "*",
RowBox[{"x_", "^", "n_"}]}]}], "]"}], "/", "x_"}], ",", "x_Symbol"}],
"]"}], " ", ":=", "\n", " ",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"I", "/", "2"}], "*",
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"Log", "[",
RowBox[{"1", "-",
RowBox[{"I", "/",
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", "*",
RowBox[{"x", "^", "n"}]}]}], ")"}]}]}], "]"}], "/", "x"}], ",",
"x"}], "]"}]}], " ", "-", "\n", " ",
RowBox[{
RowBox[{"I", "/", "2"}], "*",
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"Log", "[",
RowBox[{"1", "+",
RowBox[{"I", "/",
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", "*",
RowBox[{"x", "^", "n"}]}]}], ")"}]}]}], "]"}], "/", "x"}], ",",
"x"}], "]"}]}]}], " ", "/;", "\n",
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b", ",", "n"}], "}"}], ",", "x"}], "]"}]}]}]], "Code",
CellChangeTimes->{
3.494000873350661*^9, 3.4940016721911745`*^9, 3.4940439680078278`*^9,
3.4940444471312323`*^9, {3.548731784814071*^9, 3.5487317857281237`*^9}, {
3.5487322383985214`*^9, 3.54873224186972*^9}, 3.5536290814457116`*^9},
Background->GrayLevel[0.85]],
Cell["", "Subsubsection",
CellDingbat->None,
CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t\t",
RowBox[{Cell[TextData[StyleBox["2:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox["x", "m"], " ",
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], "]"}],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"],
StyleBox[" ",
FontFamily->"Arial",
FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"m", "|", "n"}], ")"}], "\[Element]",
"\[DoubleStruckCapitalQ]"}], " ", "\[And]", " ",
RowBox[{
RowBox[{"m", "+", "1"}], "\[NotEqual]", "0"}], " ", "\[And]", " ",
RowBox[{
RowBox[{"m", "+", "1"}], "\[NotEqual]", "n"}]}]]]],
"None"]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193422443984776`*^9, 3.5193422447260776`*^9},
3.5193424488212357`*^9, {3.5193434708254333`*^9, 3.519343473103037*^9}, {
3.5193435097631016`*^9, 3.51934353169674*^9}, {3.519345739319023*^9,
3.519345739599823*^9}, 3.5193462601259375`*^9, {3.5193475061060295`*^9,
3.5193475233908596`*^9}, {3.519351391880224*^9, 3.5193513931402254`*^9}, {
3.519403773021052*^9, 3.5194037798564425`*^9}, 3.5194106793250647`*^9, {
3.519537578341393*^9, 3.5195375792305946`*^9}, {3.5195376277778797`*^9,
3.51953767927357*^9}, {3.5197586260636144`*^9, 3.5197586260636144`*^9}, {
3.51978053295651*^9, 3.519780542862528*^9}, {3.5197806526087203`*^9,
3.5197806657595434`*^9}, {3.5197807490168896`*^9, 3.5197807642581167`*^9},
3.5197809004619555`*^9, {3.519782653514635*^9, 3.5197826623286505`*^9}, {
3.5200207810164795`*^9, 3.520020785046485*^9}, {3.5213126833374643`*^9,
3.5213126833374643`*^9}, {3.521328235411002*^9, 3.521328235411002*^9}, {
3.523315567893022*^9, 3.523315567893022*^9}, {3.5233157569332867`*^9,
3.5233157613032923`*^9}, {3.5323023198133526`*^9, 3.532302355723403*^9}, {
3.5323026417638035`*^9, 3.5323026417638035`*^9}, {3.5323026980138817`*^9,
3.5323026980138817`*^9}, {3.532636287104328*^9, 3.532636287104328*^9}, {
3.5330803686035347`*^9, 3.533080368863535*^9}, {3.533248909289961*^9,
3.5332489110299635`*^9}, {3.534962469565694*^9, 3.5349624910757236`*^9}, {
3.5349625224057674`*^9, 3.534962522655768*^9}, {3.534965265519608*^9,
3.534965265519608*^9}, {3.5349668288168063`*^9, 3.5349668292668066`*^9}, {
3.5349747358481646`*^9, 3.5349747358481646`*^9}, {3.534975457949176*^9,
3.534975457949176*^9}, {3.5368633963532934`*^9, 3.536863396571694*^9}, {
3.541644322511304*^9, 3.5416443577513533`*^9}, {3.5416458269234104`*^9,
3.541645839633428*^9}, {3.5416460312236967`*^9, 3.541646031483697*^9},
3.541646227783972*^9, {3.541647080335165*^9, 3.5416471077052035`*^9}, {
3.541648997607849*^9, 3.5416489978278494`*^9}, 3.541649088407976*^9, {
3.5417848711596775`*^9, 3.541784902429721*^9}, {3.541786145331461*^9,
3.5417861455914617`*^9}, {3.5417870037166634`*^9, 3.5417870039366636`*^9},
3.5462979620242105`*^9, {3.546298264094633*^9, 3.546298265344635*^9}, {
3.546299000235664*^9, 3.546299001505666*^9}, {3.546315119909564*^9,
3.5463151267659564`*^9}, {3.547227356319705*^9, 3.547227356319705*^9},
3.547918559331044*^9, {3.547918610170952*^9, 3.5479186304411116`*^9},
3.548537755517557*^9, 3.5485441629685287`*^9, 3.5485517520154133`*^9, {
3.5488740727887154`*^9, 3.5488740727887154`*^9}, {3.548874206618903*^9,
3.548874206808903*^9}, 3.548877100795455*^9, 3.550596464087599*^9, {
3.5505965767870445`*^9, 3.5505965767870445`*^9}, 3.5505966202465305`*^9, {
3.5506039138305197`*^9, 3.55060391400453*^9}, {3.5506040039986773`*^9,
3.550604005776779*^9}, {3.5506178888272758`*^9, 3.5506178900273447`*^9}, {
3.550770598144562*^9, 3.550770659629079*^9}, {3.5507707252908344`*^9,
3.5507707474461017`*^9}, 3.5507880023630266`*^9, {3.5508017696214375`*^9,
3.5508017788269644`*^9}, {3.5508018116158395`*^9, 3.5508018116158395`*^9},
3.5508018976437597`*^9, {3.5508021384015307`*^9, 3.550802155115487*^9}, {
3.5508022151019173`*^9, 3.5508022151019173`*^9}, {3.550802487106476*^9,
3.5508025179152374`*^9}, {3.5508029261175857`*^9,
3.5508029342300496`*^9}, {3.5521511708590136`*^9, 3.5521511712334137`*^9},
3.552151666269083*^9, {3.5535324250863676`*^9, 3.553532441643315*^9}, {
3.553532476791325*^9, 3.553532477502366*^9}, {3.5535325810722895`*^9,
3.5535325810722895`*^9}, {3.553534924419321*^9, 3.5535349316017323`*^9}, {
3.5535597570381007`*^9, 3.553559765608113*^9}, {3.553559900728302*^9,
3.55355990606831*^9}, 3.553560247968788*^9, {3.553560284118839*^9,
3.553560284268839*^9}, 3.553617750921461*^9, {3.5536177847415085`*^9,
3.553617790541517*^9}, 3.553618024341844*^9, 3.553627533253544*^9, {
3.5536277112937937`*^9, 3.5536277164338007`*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell["Reference: G&R 2.851, CRC 456, A&S 4.4.69", "Subsubsection",
CellChangeTimes->{3.479686957936056*^9, 3.4940019256886735`*^9}],
Cell["Reference: G&R 2.852, CRC 458, A&S 4.4.71", "Subsubsection",
CellChangeTimes->{3.479686957936056*^9, 3.4940019256886735`*^9,
3.4940441342643375`*^9}],
Cell["Derivation: Integration by parts", "Subsubsection"],
Cell[TextData[{
"Rule: If ",
Cell[BoxData[
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"m", "|", "n"}], ")"}], "\[Element]",
"\[DoubleStruckCapitalQ]"}], " ", "\[And]", " ",
RowBox[{
RowBox[{"m", "+", "1"}], "\[NotEqual]", "0"}], " ", "\[And]", " ",
RowBox[{
RowBox[{"m", "+", "1"}], "\[NotEqual]", "n"}]}]]],
", then"
}], "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.480705286316538*^9, {3.4941088512110004`*^9, 3.494108875297443*^9}, {
3.4941089257323313`*^9, 3.494108953812381*^9}, {3.494109011158081*^9,
3.4941090265241084`*^9}, {3.4941099489353294`*^9, 3.494109954473339*^9}, {
3.5536273730033197`*^9, 3.5536273766333246`*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox["x", "m"], " ",
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], "]"}],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
FractionBox[
RowBox[{
SuperscriptBox["x",
RowBox[{"m", "+", "1"}]], " ",
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], "]"}]}],
RowBox[{"m", "+", "1"}]]}]}]}]}], "-",
RowBox[{
FractionBox[
RowBox[{"b", " ", "n"}],
RowBox[{"m", "+", "1"}]],
RowBox[{"\[Integral]",
RowBox[{
FractionBox[
SuperscriptBox["x",
RowBox[{"m", "+", "n"}]],
RowBox[{"1", "+",
SuperscriptBox["a", "2"], "+",
RowBox[{"2", " ", "a", " ", "b", " ",
SuperscriptBox["x", "n"]}], "+",
RowBox[{
SuperscriptBox["b", "2"], " ",
SuperscriptBox["x",
RowBox[{"2", " ", "n"}]]}]}]],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.47965797304255*^9, 3.4796580023847427`*^9}, {
3.479658043163379*^9, 3.47965804398456*^9}, 3.479658468995696*^9, {
3.479658610368981*^9, 3.479658625961402*^9}, {3.479661193843835*^9,
3.4796612201817074`*^9}, {3.47966139238933*^9, 3.479661423644272*^9}, {
3.479661536146042*^9, 3.4796615416739902`*^9}, 3.4796617640337276`*^9,
3.4796618325222096`*^9, 3.4796668662303267`*^9, {3.4796867203344016`*^9,
3.4796867203344016`*^9}, {3.4796869701135664`*^9, 3.4796869707144303`*^9},
3.480705289451045*^9, {3.4940008733676615`*^9, 3.494000873369662*^9}, {
3.4940018654752293`*^9, 3.494001865993259*^9}, 3.494113356375952*^9},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"x_", "^", "m_."}], "*",
RowBox[{"ArcTan", "[",
RowBox[{"a_", "+",
RowBox[{"b_.", "*",
RowBox[{"x_", "^", "n_"}]}]}], "]"}]}], ",", "x_Symbol"}], "]"}], " ",
":=", "\n", " ",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"x", "^",
RowBox[{"(",
RowBox[{"m", "+", "1"}], ")"}]}], "*",
RowBox[{
RowBox[{"ArcTan", "[",
RowBox[{"a", "+",
RowBox[{"b", "*",
RowBox[{"x", "^", "n"}]}]}], "]"}], "/",
RowBox[{"(",
RowBox[{"m", "+", "1"}], ")"}]}]}], " ", "-", "\n", " ",
RowBox[{"b", "*",
RowBox[{"n", "/",
RowBox[{"(",
RowBox[{"m", "+", "1"}], ")"}]}], "*",
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"x", "^",
RowBox[{"(",
RowBox[{"m", "+", "n"}], ")"}]}], "/",
RowBox[{"(",
RowBox[{"1", "+",
RowBox[{"a", "^", "2"}], "+",
RowBox[{"2", "*", "a", "*", "b", "*",
RowBox[{"x", "^", "n"}]}], "+",
RowBox[{
RowBox[{"b", "^", "2"}], "*",
RowBox[{"x", "^",
RowBox[{"(",
RowBox[{"2", "*", "n"}], ")"}]}]}]}], ")"}]}], ",", "x"}],
"]"}]}]}], " ", "/;", "\n",
RowBox[{
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b"}], "}"}], ",", "x"}], "]"}], " ", "&&", " ",
RowBox[{"RationalQ", "[",
RowBox[{"m", ",", "n"}], "]"}], " ", "&&", " ",
RowBox[{
RowBox[{"m", "+", "1"}], "\[NotEqual]", "0"}], " ", "&&", " ",
RowBox[{
RowBox[{"m", "+", "1"}], "\[NotEqual]", "n"}]}]}]}]], "Code",
CellChangeTimes->{{3.494000873378662*^9, 3.4940008733806624`*^9},
3.4940018465581474`*^9, {3.4941133864372044`*^9, 3.494113393800417*^9},
3.5486903752456856`*^9, 3.5487325697284727`*^9, 3.548732937328498*^9,
3.553629010305612*^9},
Background->GrayLevel[0.85]],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"x_", "^", "m_."}], "*",
RowBox[{"ArcCot", "[",
RowBox[{"a_", "+",
RowBox[{"b_.", "*",
RowBox[{"x_", "^", "n_"}]}]}], "]"}]}], ",", "x_Symbol"}], "]"}], " ",
":=", "\n", " ",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"x", "^",
RowBox[{"(",
RowBox[{"m", "+", "1"}], ")"}]}], "*",
RowBox[{
RowBox[{"ArcCot", "[",
RowBox[{"a", "+",
RowBox[{"b", "*",
RowBox[{"x", "^", "n"}]}]}], "]"}], "/",
RowBox[{"(",
RowBox[{"m", "+", "1"}], ")"}]}]}], " ", "+", "\n", " ",
RowBox[{"b", "*",
RowBox[{"n", "/",
RowBox[{"(",
RowBox[{"m", "+", "1"}], ")"}]}], "*",
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"x", "^",
RowBox[{"(",
RowBox[{"m", "+", "n"}], ")"}]}], "/",
RowBox[{"(",
RowBox[{"1", "+",
RowBox[{"a", "^", "2"}], "+",
RowBox[{"2", "*", "a", "*", "b", "*",
RowBox[{"x", "^", "n"}]}], "+",
RowBox[{
RowBox[{"b", "^", "2"}], "*",
RowBox[{"x", "^",
RowBox[{"(",
RowBox[{"2", "*", "n"}], ")"}]}]}]}], ")"}]}], ",", "x"}],
"]"}]}]}], " ", "/;", "\n",
RowBox[{
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b"}], "}"}], ",", "x"}], "]"}], " ", "&&", " ",
RowBox[{"RationalQ", "[",